doact($k$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr $<$$k$, $v$$>$